SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
نویسندگان
چکیده
A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator if a = a a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idempotent modulo bisimilarity. The proposed rule format relies on a companion one ensuring that certain terms are idempotent with respect to some binary operator. This study also offers a variety of examples showing the applicability of both formats.
منابع مشابه
Nuclear Semimodules and Kernel Theorems in Idempotent Analysis. an Algebraic Approach
In this note we describe conditions under which, in idempotent functional analysis (see [1–3]), linear operators have integral representations in terms of idempotent integral of V. P. Maslov. We define the notion of nuclear idempotent semimodule and describe idempotent analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck (see, e.g., [4–6]). In [11], for the idempotent sem...
متن کاملHomomorphisms and Congruences of Medial Semigroups with an Associate Subgroup
Let S be the model of a semigroup with an associate subgroup whose identity is a medial idempotent constructed by Blyth and Martins considered as a unary semigroup. For another such semigroup T , we construct all unary homomorphisms of S into T in terms of their parameters. On S we construct all unary congruences again directly from its parameters. This construction leads to a characterization ...
متن کاملThe Idempotent Analog of Resolvent Kernels for a Deterministic Optimal Control Problem
A solution of a discrete Hamilton–Jacobi–Bellman equation is represented in terms of idempotent analysis as a convergent series of integral operators.
متن کامل-Idempotent and Self-Dual Morphological Filters
In this paper, we present a comprehensive analysis of selfdual and m-idempotent operators. We refer to an operator as midempotent if it converges after m iterations. We focus on an important special case of the general theory of lattice morphology: Spatiallyvariant morphology, which captures the geometrical interpretation of spatially-variant structuring elements. We demonstrate that every incr...
متن کاملIntroduction to Asymptotically Idempotent Aggregation Operators
This paper deals with aggregation operators. A new class of aggregation operators, called asymptotically idempotent, is introduced. A generalization of the basic notion of aggregation operator is provided, with an in-depth discussion of the notion of idempotency. Some general contruction methods of commutative, asymptotically idempotent aggregation operators admitting a neutral element are illu...
متن کامل